$\forall$$x$, $y$:(Void List). $x$ $\sim$ $y$